Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
791	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Automaton-based Backward Pattern Matching Doctoral Thesis Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-09-23 05:47:11 Formal languages Applied mathematics Models of computation Pattern matching Combinatorics on words String searching algorithm Deterministic finite automaton Approximate string matching Regular expression Automata theory Theoretical computer science Mathematics
792	Quantum theory, the Church-Turing principle and the universal quantum computer DAVID D EUTSCH Appeared in Proceedings of the Royal Society of London A 400, pp[removed]y (Communicated by R. Penrose, F.R.S. — Rece Add to Reading List Source URL: folk.uio.no Language: English - Date: 2005-09-12 05:30:31 Theory of computation Applied mathematics Turing machine Models of computation Alan Turing Church–Turing thesis Church–Turing–Deutsch principle Computable function Computability Theoretical computer science Computer science Computability theory
793	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
794	Chapter 18 of Feynman and Computation (A. Hey, ed.), Perseus Books[removed]CRYSTALLINE COMPUTATION Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:56 Lattice models Condensed matter physics Ising model Quantum computer Cellular automaton Digital physics Introduction to quantum mechanics Quantum mechanics Physics Theoretical physics Statistical mechanics
795	Aspect-Oriented Development Using Protocol Modeling Ashley McNeile1 and Ella Roubtsova2 1 Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-16 13:32:29 UML diagrams Object-oriented programming Automata theory Digital electronics Theoretical computer science Finite-state machine Mixin UML state machine ECO Software engineering Models of computation Computing
796	A Verified Information-Flow Architecture Arthur Azevedo de Amorim1 Nathan Collins2 Andr´e DeHon1 Delphine Demange1 C˘at˘alin Hrit¸cu1,3 David Pichardie3,4 Benjamin C. Pierce1 Randy Pollack4 Andrew Tolmach2 1 Univers Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-31 08:54:13 CPU cache Cache Central processing unit Computer memory Computer architecture Universal Turing machine Opcode Kernel Symbol Computing Models of computation Computer hardware
797	New Techniques for Regular Expression Searching Gonzalo Navarro† ∗ Mathieu Raffinot‡ Add to Reading List Source URL: www.dcc.uchile.cl Language: English - Date: 2008-08-14 13:15:26 Models of computation Computer science Combinatorics Combinatorics on words Nondeterministic finite automaton Regular expressions Deterministic finite automaton String searching algorithm Regular language Automata theory Formal languages Theoretical computer science
798	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
799	Two fundamental problems connected with AI Abstract This paper is about two fundamental problems in the field of computer science. Solving these two problems is important because it has to do with the creation of Artific Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-04-22 07:35:32 Computer science Automata theory Computability theory Theory of computation Algorithm Mathematical logic Halting problem Finite-state machine Determinism Theoretical computer science Models of computation Applied mathematics
800	Latent Domain Translation Models in Mix-of-Domains Haystack Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:25:17 Mathematical logic Machine translation Semantics Interpretation Philosophy of language Philosophy of mind Function BLEU Statistical machine translation Mathematics Model theory Mathematical analysis

UPDATE